Higher-order abstract syntax

Results: 37



#Item
11Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT

Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2014-03-18 17:06:31
12Higher-Order Abstract Syntax∗ Frank Pfenning† Conal Elliott† Department of Computer Science

Higher-Order Abstract Syntax∗ Frank Pfenning† Conal Elliott† Department of Computer Science

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2001-01-03 16:03:41
    13Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

    Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

    Add to Reading List

    Source URL: www.itu.dk

    Language: English - Date: 2008-06-03 10:17:56
    14Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University, Cambridge, MA, USA

    Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University, Cambridge, MA, USA

    Add to Reading List

    Source URL: adam.chlipala.net

    Language: English - Date: 2016-01-02 15:47:17
      15Focusing and Higher-Order Abstract Syntax Noam Zeilberger Carnegie Mellon University Abstract

      Focusing and Higher-Order Abstract Syntax Noam Zeilberger Carnegie Mellon University Abstract

      Add to Reading List

      Source URL: noamz.org

      Language: English - Date: 2014-03-22 01:19:25
        16Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA

        Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        Language: English - Date: 2014-11-03 10:29:10
        17A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University

        A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University

        Add to Reading List

        Source URL: schemeworkshop.org

        Language: English - Date: 2011-08-12 16:48:16
        18Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University

        Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University

        Add to Reading List

        Source URL: www.itu.dk

        Language: English - Date: 2002-08-02 07:15:47
        19LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu

        LOGICAL FRAMEWORKS—A BRIEF INTRODUCTION FRANK PFENNING () Carnegie Mellon University Abstract. A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introdu

        Add to Reading List

        Source URL: www.cs.cmu.edu

        Language: English - Date: 2002-01-24 22:28:32
        20Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama Oleg Kiselyov

        Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama Oleg Kiselyov

        Add to Reading List

        Source URL: okmij.org

        Language: English - Date: 2014-03-08 07:11:20